Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle
نویسندگان
چکیده
Parallele Verarbeitungen erhöhen die Komplexität bei der Entwicklung von signalverarbeitenden eingebetteten Systemen. Die Synchronisierung der Ressourcen und die Gewährleistung von deterministischem Verhalten werden häufig nicht betrachtet. Infolgedessen erfordern die Suche und die Behebung von Fehlern mehr Zeit. Diese Arbeit stellt eine Methode zur Entwicklung von signalverarbeitenden eingebetteten Systemen vor. Durch das in dieser Arbeit vorgestellte DMOSES-Profil werden deterministische Modelle in UML unabhängig von der HardwarePlattform gewährleistet. Bei der Entwicklung von sicherheitskritischen Systemen wird die DMOSESMethode zur Sicherstellung eines deterministisches Ausführungsverhalten genutzt. Schlüsselworten : UML, Aktivität, determinitisches Verhalten, eingebette Systeme.
منابع مشابه
Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?
Zusammenfassung: In jüngster Zeit werden mehr und mehr objektorientierte Modellierungssprachen, Werkzeuge und Methoden für die Entwicklung eingebetteter Systeme in Betracht gezogen, die Varianten der Standardmodellierungssprache UML darstellen. In diesem Papier werden mit Realtime UML und UML/Realtime zwei solcher UML-Varianten kurz präsentiert. Im Anschluß daran wird ein neuer Vorschlag zur „n...
متن کاملHesperia: Framework zur Szenario-gestützten Modellierung und Entwicklung Sensor-basierter Systeme
Moderne eingebettete Systeme durchdringen nicht mehr nur industrielle Domänen der Automatisierungstechnik, sondern beispielsweise in Form zunehmend intelligenterer Fahrerassistenzsysteme auch Domänen, in denen sie direkt in Wechselwirkung mit dem Konsumenten und ihrer Umwelt agieren. Die verwendeten Algorithmen werden zwar häufig durch Methoden des virtual prototyping bereits im Labor getestet,...
متن کاملKognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basiseines integrierten Mensch-Maschine-Modells
In dieser Dissertation wurde eine innovative Methode zur Analyse sicherheitskritischer modaler interaktiver Steuerungssysteme aus kognitiver Sicht erstellt. Ziel ist es, potentielles menschliches Fehlverhalten bei der Entwicklung möglichst früh zu berücksichtigen und nahtlos im Entwurfsprozess für weitere Analysen zur Verfügung zu stellen. Dadurch soll ein Beitrag zum menschenzentrierten Entwur...
متن کاملFormale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Die Konstruktion eingebetteter Systeme, die starke RealzeitAnforderungen zu erfüllen haben, wird in den verschiedensten Anwendungsbereichen immer bedeutsamer, z. B. in der Medizin, der Transporttechnik oder der Produktionsautomatisierung. Formale Methoden unterstützen die fehlerarme Entwicklung solcher Systeme, weil sie auf einer präzisen mathematischen Grundlage aufbauen. Der Autor entwickelt ...
متن کاملEin semantisches Modell für die Entwicklung von Softwareassistenten zur medizinischen Volumenvisualisierung
Der vorliegende Beitrag stellt semantische Modelle als wichtigen Baustein für die Entwicklung von Softwareassistenten für die klinische Routine vor. Der beschriebene Ansatz erlaubt es, gemeinsam mit Medizinern Modelle für spezielle Visualisierungsaufgaben zu erstellen. Es werden klare Semantiken implementiert, die es dem technisch unbedarften Benutzer ermöglichen, anatomische Strukturen selbstä...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 29 شماره
صفحات -
تاریخ انتشار 2009